341. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
342. Computer Integrated Manufacturing :
پدیدآورنده : edited by I. Burhan Turksen, Kiyoji Asai, Gunduz Ulusoy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1988
343. Computer Supported Collaborative Learning
پدیدآورنده : edited by Claire O'Malley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer Communication Networks.,Computer science.
رده :
LB1028
.
5
E358
1995
344. Computer Systems Interaction-Human
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Engineering. ; Computer science. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; User Interfaces and Human Computer Interaction. ; Artificial Intelligence (incl. Robotics). ;
345. Computer Vision:
پدیدآورنده : edited by Carme Torras.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
346. Computer Vision Based Deep Learning Models for Cyber Physical Systems
پدیدآورنده : Karim, Muhammad Monjurul
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Systems science
347. Computer Vision Based Deep Learning Models for Cyber Physical Systems
پدیدآورنده : Karim, Muhammad Monjurul
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Systems science
348. Computer Vision - ECCV'92 :
پدیدآورنده : edited by G. Sandini.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
349. Computer Vision -- ECCV '96 :
پدیدآورنده : edited by Bernard Buxton, Roberto Cipolla.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
350. Computer Vision -- ECCV '96 :
پدیدآورنده : edited by Bernard Buxton, Roberto Cipolla.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
351. Computer Vision, Imaging and Computer Graphics Theory and Applications
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer vision. ; Computer science. ; Artificial intelligence. ; Image Processing and Computer Vision. ;
352. Computer Vision \U+2013\ ACCV 2009
پدیدآورنده : edited by Hongbin Zha, Rin-ichiro Taniguchi, Stephen Maybank.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Biometric identification.,Computer science.,Computer software.,Computer vision.,Optical pattern recognition.
353. Computer Vision \U+2013\ ACCV 2010
پدیدآورنده : edited by Ron Kimmel, Reinhard Klette, Akihiro Sugimoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.,Computer software.,Computer vision.,Optical pattern recognition.,Visualization.
354. Computer and Information Science 2015
پدیدآورنده : \ Roger Lee Editor
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Congresses.,علوم کامپیوتر -- کنگره‌ها
رده :
QA
75
.
5
.
C6
2016
E-Book
,
355. Computer and information sciences :
پدیدآورنده : Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Information Systems and Communication Service.,Software Engineering.,System Performance and Evaluation.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Information technology.,Network hardware.,Software Engineering.,Systems analysis & design.
رده :
QA75
.
5
356. Computer-assisted and robotic endoscopy : First International Workshop, CARE 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014 : revised selected paper
پدیدآورنده : Xiongbiao Luo, Tobias Reichl, Daniel Mirota, Timothy Soper )Eds.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer-assisted surgery -- Congresses,، Artificial intelligence,، Computer graphics,، Computer science
رده :
TA
1634
.
X545
2014
357. Computer epistemolog
پدیدآورنده : / Tibor Vamos,Vamos
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Computer Science,Artificial intelligence
رده :
QA
76
.
V325
1990
358. Computer epistemology: A treatise on the feasibility of the unfeasible or old ideas brewed new
پدیدآورنده : Vamos, Tibor.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Computer science,، Artificial intelligence
رده :
QA
76
.
V3C6
359. Computer epistemology : a treatise on the feasibility of the unfeasible or old ideas brewed new
پدیدآورنده : Vamos, Tibor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Artificial intelligence
رده :
QA
76
.
V255
1990
360. Computer epistemology : a treatise on the unfeasible or old ideas brewed new
پدیدآورنده : Vamos, Tibor.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Artificial intelligence
رده :
QA
76
.
V325
1991
